Nuprl Definition : interface-left
11,40
postcript
pdf
interface-left(
X
) ==
f
,
s
.
x
.
x
o
f
(
s
) o
X
latex
Definitions
g
o
f
,
f
o
g
,
x
.
A
(
x
)
,
f
(
a
)
FDL editor aliases
interface-left
origin
f,s. x.x o f(s) o X f,s. x.x o f(s) o X x.A(x)